Formal and Informal Methods for Multi-Core Design Space Exploration Jean-Francois Kempf Olivier Lebeltel

Source URL: www-verimag.imag.fr

Fast numerical methods for the design of layered photonic structures with rough interfaces Nikolay Komarevskiy,1 Leonid Braginsky,1 Valery Shklover,1 Christian Hafner,1 and John Lawson2 1 Swiss

Source URL: www.photonicna.ethz.ch

Simplex with Sum of Infeasibilities for SMT Tim King⇤ ⇤ New Clark Barrett⇤

Source URL: www.cs.utexas.edu

• Operations research
• Logic in computer science
• Electronic design automation
• Formal methods
• NP-complete problems
• Satisfiability modulo theories
• Simplex algorithm
• Linear programming
• Simplex
• First-order logic

Can Evidence for Design be Explained Away? Formal Methods in Epistemology of Religion Leuven, 10-12 June, 2009 David Glass

Source URL: scm.ulster.ac.uk

Design management as a way of thinking Just what is design management, and how can designers use it?

Source URL: www.metroel.nl

• Design
• Visual arts
• Academia
• Management
• Industrial design
• Architectural design
• Design management
• Urban design
• Project management
• Architect
• Design methods

CSL Technical Report SRI-CSL-06-01 • May 23, 2006 Integrating Simplex with DPLL(T ) Bruno Dutertre and Leonardo de Moura This report is based upon work supported by the Defense Advanced Research Projects

Source URL: yices.csl.sri.com

• Theoretical computer science
• Computational complexity theory
• Mathematics
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Constraint programming
• Satisfiability modulo theories
• Boolean satisfiability problem
• Solver
• Simplex algorithm

FASE System Description System: The Integrating Object-Oriented Design and Formal Methods?

Source URL: heim.ifi.uio.no

Automated Software Testing for the 21st Century Patrice Godefroid Microsoft Research TCE’2015

Source URL: tce.technion.ac.il

• Software engineering
• Computing
• Software testing
• Software
• Concurrent programming languages
• Electronic design automation
• Formal methods
• NP-complete problems
• Fuzz testing
• Random testing
• Satisfiability modulo theories
• Symbolic execution

Rethinking Statistical Analysis Methods for CHI Maurits Kaptein Eindhoven University of Technology / Philips Research Den Dolech 2, 5600 MB, Eindhoven, the Netherlands +

Source URL: judyrobertson.typepad.com

• Statistics
• Hypothesis testing
• Statistical theory
• Statistical inference
• Design of experiments
• Statistical tests
• Psychometrics
• Statistical hypothesis testing
• Statistical power
• P-value
• Null hypothesis
• Statistical significance